「Beaver Weaver」
https://gyazo.com/2770c59d3e090539365caa94ecbf7b8a
数学に対するメタ数学みたいな感じで、この世界の物理を記述する論理のメタ論理を設定して、戦っている感じ 喧嘩をするにもなにかしらルールは必要で、そのルールから外れて殴り倒そうとするのを、そのルールから外れたものをも再度ルールの中に取り込んで防ぐ、みたいな。なんともわかりづらい説明だ。
ZF公理系(Zermelo-Fraenkel の公理系)に選択公理( Axiom of Choice )を足したもの ZFCのCはChoiceのC
この不思議なことは無限というものが数学的に非常に扱いの難しいものであることによる。 特に断らない限り、現代の数学はこのZFC公理系を採用している
これが円城塔が「怖くて書けない」と言っていたことの原因か
物理学を許す公理系については、実はあまり精査されていない感がある
まあ、そもそも量子力学は運動学ではなく、その本質は観測理論であるので量子力学自体が観測の原理だというのはそれはそう。
余談だが、円城塔は量子力学の基礎的な部分への言及がほとんど存在しない。それよりも熱力学や統計力学への言及の方が多い。